///|
fn example_annotated_collections() -> Unit {
  let a = ([] : Array[Int])
  println(a.length())
  let b = (None : Int?)
  println(b.is_empty())
}
